8 results
Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis
- Part of
-
- Journal:
- Advances in Applied Probability / Volume 36 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 01 July 2016, pp. 1175-1197
- Print publication:
- December 2004
-
- Article
- Export citation
Wilfried Sieg. Reductions of theories for analysis. Foundations of logic and linguistics, Problems and their solutions, edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, pp. 199– 231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
- Print publication:
- March 1990
-
- Article
- Export citation
Modèles non standard en arithmétique et théorie des ensembles, Publications mathématiques de l'Université Paris VII, no. 22, U.E.R. de Mathématiques, Paris1987, 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-287
- Print publication:
- March 1989
-
- Article
- Export citation
Wilfried Sieg. Fragments of arithmetic. Annals of pure and applied logic, vol. 28 (1985), pp. 33–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1054-1055
- Print publication:
- December 1987
-
- Article
- Export citation
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 (1983), pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 (1985), pp. 319–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-278
- Print publication:
- March 1987
-
- Article
- Export citation
A generalization of the limit lemma and clopen games
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-291
- Print publication:
- June 1986
-
- Article
- Export citation
A recursion theoretic analysis of the clopen Ramsey theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-400
- Print publication:
- June 1984
-
- Article
- Export citation
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1104
- Print publication:
- December 1983
-
- Article
- Export citation